41. Metamathematische methoden in der Geometrie
Author: Schwabhauser, Wolfram
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Addresses, essays, lectures ، Geometry,Addresses, essays, lectures ، Metamathematics
Classification :
QA
481
.
S38
1983
42. New essays on Tarski and philosophy
Author: edited by Douglas Patterson
Library: Library of Mofid University (Qom)
Subject: ، Tarski, Alfred,Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
Classification :
QA8
.
4
.
N49
2008
43. New essays on Tarski and philosophy
Author: edited by Douglas Patterson
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Tarski, Alfred,، Mathematics -- Philosophy,Philosophy ، Logic, Symbolic and mathematical
Classification :
QA
8
.
4
.
N493
44. New essays on Tarski and philosophy
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Tarski, Alfred. ; Mathematics ; Philosophy. ; Logic, Symbolic and mathematical ; Philosophy. ;
45. New essays on Tarski and philosophy
Author: / edited by Douglas Patterson
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Tarski, Alfred.,Mathematics--Philosophy,Logic, Symbolic and mathematical--Philosophy
Classification :
QA
,
8
.
4
,.
N49
,
2008
46. Ordinal algebras
Author: Tarski, Alfred
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Algebra, Abstract
Classification :
QA
266
.
T37
47. Ordinal algebras
Author: Tarski, Alfred.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Algebraic logic,، Arithmetic - Foundations
Classification :
QA
10
.
T37
48. Ordinal algebras : with appendices
Author: Tarski, Alfred
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Algebra, Abstract
Classification :
QA
266
.
T3
49. Philosophical Dimensions of Logic and Science :
Author: edited by Artur Rojszczak, Jacek Cachro, Gabriel Kurczewski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Linguistics -- Philosophy.,Logic.,Philosophy (General)
50. Philosophy :
Author: Philip Stokes.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Philosophers -- Biography -- Encyclopedias.,Philosophers.,Philosophy.
Classification :
BD21
.
P455
2007
51. Philosophy and Logic in Search of the Polish Tradition :
Author: edited by Jaakko Hintikka, Tadeusz Czarnecki, Katarzyna Kijania-Placek, Tomasz Placek, Artur Rojszczak.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy, Polish.,Truth.
52. Proceedings
Author: Tarski Symposium, 1791, University of California, Berkeley
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Mathematics-- Addresses, essays, lectures,، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Tarski, Alfred-- Bibliography
Classification :
QA
7
.
T34
1971
53. Proceedings of the Tarski Symposium : an International Symposium, held to Honor Alfered Tarski on the occasion of his seventieth birthday
Author: edited by Leon Henkin ... ]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Addresseys, essays, lectures ، Mathematics,Bibliography ، Tarski, Alfred,Addresses, essays, lectures ، Logic, Symbolic and mathematical
Classification :
QA
1
.
P7
Vol
.
25
54. <The> theory of models
Author: / Edited by J.W. Addison, Lعeon Henkin [and] Alfred Tarski
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
BC135
،.
I5
1965
55. The theory of models
Author: edited by J.W. Addison, Leon Henkin, Alfred Tarski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Congresses.,Mathematical models, Congresses.
56. The theory of models; proceedings
Author: Edited by J.W. Addison, Leon Henkin )and( Alfred Tarski
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models
Classification :
BC
135
.
I586
1963
57. Thinkers of the twentieth century
Author:
Library: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
Subject:
Classification :
CT120
،.
T45
1987
،
R
58. Undecidable theories
پدیدآورنده : Tarski, Alfred.
موضوع : ، Godel's theorem
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
59. Undecidable theories
Author: Alfred Tarski.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
60. Undecidable theories
Author: / by Alfred Tarski
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Metamathematics,Logic, Symbolic and mathematical
Classification :
E-BOOK
